\select@language {italian}
\contentsline {section}{\numberline {1}Introduzione}{4}
\contentsline {subsection}{\numberline {1.1}Obiettivo del documento}{4}
\contentsline {subsection}{\numberline {1.2}Finalit\IeC {\`a} e obiettivi del progetto}{4}
\contentsline {subsubsection}{\numberline {1.2.1}Funzionalit\IeC {\`a} generali del prodotto software}{5}
\contentsline {subsubsection}{\numberline {1.2.2}Limitazioni del prodotto software}{5}
\contentsline {subsection}{\numberline {1.3}Glossario}{7}
\contentsline {subsubsection}{\numberline {1.3.1}Definizioni}{7}
\contentsline {subsubsection}{\numberline {1.3.2}Acronimi}{8}
\contentsline {subsection}{\numberline {1.4}Struttura del documento}{8}
\contentsline {section}{\numberline {2}Descrizione generale}{9}
\contentsline {subsection}{\numberline {2.1}Utenti del sistema e caratteristiche}{9}
\contentsline {subsection}{\numberline {2.2}Analisi del prodotto}{10}
\contentsline {subsubsection}{\numberline {2.2.1}Interfacce di sistema}{10}
\contentsline {subsubsection}{\numberline {2.2.2}Interfacce utente}{11}
\contentsline {subsubsection}{\numberline {2.2.3}Interfacce hardware}{16}
\contentsline {subsubsection}{\numberline {2.2.4}Interfacce software}{16}
\contentsline {subsubsection}{\numberline {2.2.5}Interfacce di comunicazione}{16}
\contentsline {subsubsection}{\numberline {2.2.6}Vincoli sull'occupazione di memoria}{16}
\contentsline {subsubsection}{\numberline {2.2.7}Operazioni}{17}
\contentsline {subsubsection}{\numberline {2.2.8}Vincoli per l'installazione}{17}
\contentsline {subsection}{\numberline {2.3}Caratteristiche degli utenti}{17}
\contentsline {subsection}{\numberline {2.4}Vincoli generali}{17}
\contentsline {subsubsection}{\numberline {2.4.1}Politiche di regolamentazione}{17}
\contentsline {subsubsection}{\numberline {2.4.2}Limitazioni hardware}{18}
\contentsline {subsubsection}{\numberline {2.4.3}Interfacce con altri applicativi software}{18}
\contentsline {subsubsection}{\numberline {2.4.4}Operazioni parallele}{18}
\contentsline {subsubsection}{\numberline {2.4.5}Architettura del sistema}{18}
\contentsline {subsubsection}{\numberline {2.4.6}Protocollo di handshake}{18}
\contentsline {subsection}{\numberline {2.5}Ipotesi preliminari}{18}
\contentsline {subsubsection}{\numberline {2.5.1}Assunzioni}{18}
\contentsline {subsubsection}{\numberline {2.5.2}Specifiche generali}{19}
\contentsline {subsection}{\numberline {2.6}Requisiti da analizzare in futuro}{20}
\contentsline {section}{\numberline {3}Analisi dei requisiti}{21}
\contentsline {subsection}{\numberline {3.1}Requisiti funzionali}{21}
\contentsline {subsubsection}{\numberline {3.1.1}Possibili scenari}{21}
\contentsline {subsubsection}{\numberline {3.1.2}Identificazione dei requisiti}{25}
\contentsline {subsubsection}{\numberline {3.1.3}Casi d'uso}{27}
\contentsline {paragraph}{\numberline {3.1.3.1}Nominare un nuovo impiegato}{29}
\contentsline {paragraph}{\numberline {3.1.3.2}Registrare un nuovo account}{31}
\contentsline {paragraph}{\numberline {3.1.3.3}Accedere al sistema}{33}
\contentsline {paragraph}{\numberline {3.1.3.4}Modificare dati anagrafici}{35}
\contentsline {paragraph}{\numberline {3.1.3.5}Inserire Prodotto Base}{37}
\contentsline {paragraph}{\numberline {3.1.3.6}Modificare Prodotto Base}{39}
\contentsline {paragraph}{\numberline {3.1.3.7}Creare un pacchetto preconfigurato partendo da singoli prodotti}{41}
\contentsline {paragraph}{\numberline {3.1.3.8}Ricercare un pacchetto preconfigurato}{43}
\contentsline {paragraph}{\numberline {3.1.3.9}Personalizzare un pacchetto preconfigurato}{45}
\contentsline {paragraph}{\numberline {3.1.3.10}Suggerire un pacchetto acquistato a un amico}{47}
\contentsline {paragraph}{\numberline {3.1.3.11}Visualizzare un pacchetto suggerito}{49}
\contentsline {paragraph}{\numberline {3.1.3.12}Acquistare il pacchetto suggerito}{51}
\contentsline {paragraph}{\numberline {3.1.3.13}Creare una gift list durante l'acquisto}{53}
\contentsline {paragraph}{\numberline {3.1.3.14}Acquisto di un pacchetto}{55}
\contentsline {paragraph}{\numberline {3.1.3.15}Esplorare la gift list di un pacchetto ricevuto}{57}
\contentsline {paragraph}{\numberline {3.1.3.16}Acquistare prodotti all'interno di una gift list}{58}
\contentsline {subsubsection}{\numberline {3.1.4}Class Diagram}{60}
\contentsline {subsubsection}{\numberline {3.1.5}Statechart}{61}
\contentsline {paragraph}{\numberline {3.1.5.1}Registrazione dell'utente}{61}
\contentsline {paragraph}{\numberline {3.1.5.2}Gestione della gift list}{61}
\contentsline {subsection}{\numberline {3.2}Requisiti non funzionali}{62}
\contentsline {subsubsection}{\numberline {3.2.1}Requisiti prestazionali}{62}
\contentsline {subsubsection}{\numberline {3.2.2}Requisiti di sicurezza}{62}
\contentsline {subsubsection}{\numberline {3.2.3}Requisiti legati alla base di dati}{62}
\contentsline {subsubsection}{\numberline {3.2.4}Vincoli generali di progetto}{62}
\contentsline {subsubsection}{\numberline {3.2.5}Attributi del sistema}{63}
\contentsline {paragraph}{\numberline {3.2.5.1}Affidabilit\IeC {\`a}}{63}
\contentsline {paragraph}{\numberline {3.2.5.2}Accessibilit\IeC {\`a}}{63}
\contentsline {paragraph}{\numberline {3.2.5.3}Sicurezza}{63}
\contentsline {paragraph}{\numberline {3.2.5.4}Portabilit\IeC {\`a}}{63}
\contentsline {subsubsection}{\numberline {3.2.6}Altri requisiti}{63}
\contentsline {paragraph}{\numberline {3.2.6.1}Scalabilit\IeC {\`a} del sistema}{63}
\contentsline {paragraph}{\numberline {3.2.6.2}Gestione degli errori}{63}
\contentsline {paragraph}{\numberline {3.2.6.3}Estensibilit\IeC {\`a} del sistema}{64}
\contentsline {section}{\numberline {4}Appendice}{65}
\contentsline {subsection}{\numberline {4.1}Modellazione Alloy}{65}
\contentsline {subsubsection}{\numberline {4.1.1}Introduzione}{65}
\contentsline {subsubsection}{\numberline {4.1.2}Definizione dati primitivi e entit\IeC {\`a}}{65}
\contentsline {subsubsection}{\numberline {4.1.3}Definizione fatti e asserzioni}{69}
\contentsline {subsubsection}{\numberline {4.1.4}Definizione predicati}{73}
\contentsline {subsubsection}{\numberline {4.1.5}Mondi generati}{76}
\contentsline {paragraph}{\numberline {4.1.5.1}Mondo completo}{76}
\contentsline {paragraph}{\numberline {4.1.5.2}Pacchetto preconfigurato}{77}
\contentsline {paragraph}{\numberline {4.1.5.3}Pacchetto acquistato}{77}
\contentsline {paragraph}{\numberline {4.1.5.4}Acquisto di attivit\IeC {\`a} in pacchetto gi\IeC {\`a} acquistato}{78}
\contentsline {paragraph}{\numberline {4.1.5.5}Aggiunta di attivit\IeC {\`a} a gift list di pacchetto gi\IeC {\`a} acquistato}{79}
\contentsline {subsection}{\numberline {4.2}Strumenti utilizzati}{79}
